type t (= contag)
